extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xHe3).1C22 = He3:2Q8 | φ: C22/C1 → C22 ⊆ Out C2xHe3 | 72 | 6- | (C2xHe3).1C2^2 | 216,33 |
(C2xHe3).2C22 = C6.S32 | φ: C22/C1 → C22 ⊆ Out C2xHe3 | 36 | 6 | (C2xHe3).2C2^2 | 216,34 |
(C2xHe3).3C22 = He3:2D4 | φ: C22/C1 → C22 ⊆ Out C2xHe3 | 36 | 6+ | (C2xHe3).3C2^2 | 216,35 |
(C2xHe3).4C22 = He3:(C2xC4) | φ: C22/C1 → C22 ⊆ Out C2xHe3 | 36 | 6- | (C2xHe3).4C2^2 | 216,36 |
(C2xHe3).5C22 = He3:3D4 | φ: C22/C1 → C22 ⊆ Out C2xHe3 | 36 | 6 | (C2xHe3).5C2^2 | 216,37 |
(C2xHe3).6C22 = He3:3Q8 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 72 | 6- | (C2xHe3).6C2^2 | 216,49 |
(C2xHe3).7C22 = C4xC32:C6 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 36 | 6 | (C2xHe3).7C2^2 | 216,50 |
(C2xHe3).8C22 = He3:4D4 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 36 | 6+ | (C2xHe3).8C2^2 | 216,51 |
(C2xHe3).9C22 = C2xC32:C12 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 72 | | (C2xHe3).9C2^2 | 216,59 |
(C2xHe3).10C22 = He3:6D4 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 36 | 6 | (C2xHe3).10C2^2 | 216,60 |
(C2xHe3).11C22 = He3:4Q8 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 72 | 6 | (C2xHe3).11C2^2 | 216,66 |
(C2xHe3).12C22 = C4xHe3:C2 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 36 | 3 | (C2xHe3).12C2^2 | 216,67 |
(C2xHe3).13C22 = He3:5D4 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 36 | 6 | (C2xHe3).13C2^2 | 216,68 |
(C2xHe3).14C22 = C2xHe3:3C4 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 72 | | (C2xHe3).14C2^2 | 216,71 |
(C2xHe3).15C22 = He3:7D4 | φ: C22/C2 → C2 ⊆ Out C2xHe3 | 36 | 6 | (C2xHe3).15C2^2 | 216,72 |
(C2xHe3).16C22 = C2xC4xHe3 | φ: trivial image | 72 | | (C2xHe3).16C2^2 | 216,74 |
(C2xHe3).17C22 = D4xHe3 | φ: trivial image | 36 | 6 | (C2xHe3).17C2^2 | 216,77 |
(C2xHe3).18C22 = Q8xHe3 | φ: trivial image | 72 | 6 | (C2xHe3).18C2^2 | 216,80 |